home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 090 / prolog1.arc / WRCLAUSE.PRO < prev   
Encoding:
Text File  |  1985-06-09  |  384 b   |  20 lines
  1. list1(X) :- clause(X,Y),output_clause(X,Y),
  2.         write( '.' ), nl, fail.
  3.  
  4. list1(X).
  5.  
  6. output_clause(X,true) :- !, write(X).
  7. output_clause(X,Y)    :- write( (X :- Y) ).
  8.  
  9. a( b ).
  10. a( c ).
  11. outputclause(X,true) :- !, write(X).
  12. outputclause(X,Y)    :- write( (X :- Y) ).
  13.  
  14. r(X) :- a(X).
  15.  
  16. s(X) :- true.
  17.  
  18. u.
  19. u.
  20.